『Functional Programming in Lean』 - pogi-log

『Functional Programming in Lean』

Functional Programming in Lean - Functional Programming in Lean

GitHub:

leanprover/fp-lean: Functional Programming in Lean

日本語: lean-ja/fp-lean-ja: Functional Programming in Lean の日本語訳. 演習問題への解答を含みます（作業中 🚧）

5. Monad

Monads - Functional Programming in Lean

2024-06-29 Functional Programming in Lean

2024-08-24 Functional Programming in Lean

2024-10-05 Functional Programming in Lean

2024-10-25 Functional Programming in Lean

2024-11-09 Functional Programming in Lean

2024-12-07 Functional Programming in Lean

関連

Haskell モナド

#Leanドキュメント

#Lean #関数型プログラミング